France

Results: 47775



#Item
1

ETHEREUM : UN REGISTRE DE TRANSACTIONS GÉNÉRALISTE, SÉCURISÉ ET DÉCENTRALISÉ RÉVISION EIP-150 DR. GAVIN WOOD FONDATEUR, ETHEREUM & ETHCORE

Add to Reading List

Source URL: www.ethereum-france.com

Language: French - Date: 2018-07-06 13:42:01
    2Model checking / Uppaal Model Checker / Conference on Implementation and Application of Automata

    Axel Legay 13 Bis rue des Quatre ChênesBruz (France) Phone : +http://people.irisa.fr/Axel.Legay/

    Add to Reading List

    Source URL: people.irisa.fr

    Language: English - Date: 2016-10-31 16:18:25
    3Culture of Paris / Paris / cole des Beaux-Arts / French architecture

    Marc Johnson President, ARTPORT_making waves France (association loiWebsite: www.artport-project.org Marc Johnson is a French licensed architect, filmmaker, and visual artist, who graduated from the École Nationa

    Add to Reading List

    Source URL: artport-project.org

    Language: English - Date: 2018-03-03 05:51:41
    4Theoretical computer science / Computing / Logic in computer science / Electronic design automation / Formal methods / NP-complete problems / Constraint programming / Satisfiability modulo theories / Benchmark / Solver / Lis / Standard Performance Evaluation Corporation

    10th International Satisfiability Modulo Theories Competition (SMT-COMP 2015): Rules and Procedures Sylvain Conchon Paris-Sud University France

    Add to Reading List

    Source URL: smtcomp.sourceforge.net

    Language: English - Date: 2016-05-20 07:13:03
    5Algebra / Abstract algebra / Mathematics / Finite fields / Group theory / Logarithms / Algebraic number theory / Numerical linear algebra / XTR / Discrete logarithm / Gaussian elimination / Quadratic field

    Algebraic techniques for number field computations (extended abstract) Jean-Fran¸cois Biasse1 , Michael J. Jacobson, Jr.2? , and Alan K. Silvester3 ´ Ecole Polytechnique, 91128 Palaiseau, France

    Add to Reading List

    Source URL: www.lix.polytechnique.fr

    Language: English - Date: 2014-09-02 14:57:05
    6Differential equations / Mathematics / Hybrid automaton / Hybrid system / Systems science / X0 / Center / FO / Systems theory

    Model Checking of Hybrid Systems Goran Frehse AVACS Autumn School, October 1, 2015 Univ. Grenoble Alpes – Verimag, 2 avenue de Vignate, Centre Equation, 38610 Gières, France,

    Add to Reading List

    Source URL: www.avacs.org

    Language: English - Date: 2015-10-05 02:55:26
    7Mathematics / Mathematical analysis / Analysis / Computer arithmetic / Numerical analysis / Arithmetic / Functions and mappings / Differential calculus / Interval arithmetic / Rounding / Derivative / Integral

    Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - Universit´e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 France

    Add to Reading List

    Source URL: perso.ensta-paristech.fr

    Language: English - Date: 2012-12-19 06:23:54
    8Cryptography / Multivariate cryptography / Post-quantum cryptography / Algebra / Polynomials / Unbalanced Oil and Vinegar / Hidden Field Equations / Algebraic equation / QUAD / Variable / Equation / Finite field

    Multivariate Cryptography Louis Goubin, Versailles St-Quentin-en-Yvelines University, France, Jacques Patarin, Versailles St-Quentin-en-Yvelines University, France, and Bo-Yin Yang, Institute of Information Science, Acad

    Add to Reading List

    Source URL: precision.moscito.org

    Language: English - Date: 2013-03-31 09:28:56
    9Algebra / Abstract algebra / Mathematics / Commutative algebra / Lattice-based cryptography / Post-quantum cryptography / Cryptography / Field theory / Ring learning with errors / Ring learning with errors key exchange / Ring learning with errors signature

    On the Ring-LWE and Polynomial-LWE Problems Miruna Rosca1,2 , Damien Stehlé1 , and Alexandre Wallet1 1 ENS de Lyon, Laboratoire LIP (U. Lyon, CNRS, ENSL, INRIA, UCBL), France

    Add to Reading List

    Source URL: eprint.iacr.org

    Language: English - Date: 2018-02-12 12:00:30
    10Message authentication codes / Error detection and correction / Constructible universe / CBC-MAC

    Generic Attacks against Beyond-Birthday-Bound MACs Gaëtan Leurent1 , Mridul Nandi2 , and Ferdinand Sibleyras1 1 Inria, France

    Add to Reading List

    Source URL: who.rocq.inria.fr

    Language: English - Date: 2018-06-14 07:12:33
    UPDATE